38 research outputs found
C to O-O Translation: Beyond the Easy Stuff
Can we reuse some of the huge code-base developed in C to take advantage of
modern programming language features such as type safety, object-orientation,
and contracts? This paper presents a source-to-source translation of C code
into Eiffel, a modern object-oriented programming language, and the supporting
tool C2Eif. The translation is completely automatic and supports the entire C
language (ANSI, as well as many GNU C Compiler extensions, through CIL) as used
in practice, including its usage of native system libraries and inlined
assembly code. Our experiments show that C2Eif can handle C applications and
libraries of significant size (such as vim and libgsl), as well as challenging
benchmarks such as the GCC torture tests. The produced Eiffel code is
functionally equivalent to the original C code, and takes advantage of some of
Eiffel's object-oriented features to produce safe and easy-to-debug
translations
Neural activity tracking identity and confidence in social information
Humans learn about the environment either directly by interacting with it or indirectly by seeking information about it from social sources such as conspecifics. The degree of confidence in the information obtained through either route should determine the impact that it has on adapting and changing behaviour. We examined whether and how behavioural and neural computations differ during non-social learning as opposed to learning from social sources. Trial-wise confidence judgements about non-social and social information sources offered a window into this learning process. Despite matching exactly the statistical features of social and non-social conditions, confidence judgements were more accurate and less changeable when they were made about social as opposed to non-social information sources. In addition to subjective reports of confidence, differences were also apparent in the Bayesian estimates of participants' subjective beliefs. Univariate activity in dorsomedial prefrontal cortex and posterior temporoparietal junction more closely tracked confidence about social as opposed to non-social information sources. In addition, the multivariate patterns of activity in the same areas encoded identities of social information sources compared to non-social information sources
Identification and disruption of a neural mechanism for accumulating prospective metacognitive information prior to decision-making
More than one type of probability must be considered when making decisions. It is as necessary to know one's chance of performing choices correctly as it is to know the chances that desired outcomes will follow choices. We refer to these two choice contingencies as internal and external probability. Neural activity across many frontal and parietal areas reflected internal and external probabilities in a similar manner during decision-making. However, neural recording and manipulation approaches suggest that one area, the anterior lateral prefrontal cortex (alPFC), is highly specialized for making prospective, metacognitive judgments on the basis of internal probability; it is essential for knowing which decisions to tackle, given its assessment of how well they will be performed. Its activity predicted prospective metacognitive judgments, and individual variation in activity predicted individual variation in metacognitive judgments. Its disruption altered metacognitive judgments, leading participants to tackle perceptual decisions they were likely to fail
Causal manipulation of self-other-mergence in dorsomedial prefrontal cortex
To navigate social environments, people must simultaneously hold representations about their own and othersâ abilities. During self-other-mergence, people estimate othersâ abilities not only on the basis of the othersâ past performances, but in addition the estimates are also influenced by their own performances. For example, if we ourselves perform well, we overestimate the abilities of those we are co-operating with and underestimate competitors. Self-other mergence is associated with specific activity patterns in dorsomedial prefrontal cortex (dmPFC). Using a combination of non-invasive brain stimulation, functional magnetic resonance imaging and computational modelling, we show that dmPFC neurostimulation silences these neural signatures of self-other-mergence in relation to the estimation of othersâ abilities. In consequence, self-other-mergence behavior increases and our assessments of our own performance are increasingly projected onto other people. This suggests an inherent tendency to form interdependent social representations and a causal role for dmPFC in separating self and other representations
Risk to human health related to the presence of perfluoroalkyl substances in food
Acknowledgements: The Panel wishes to thank the following for their support provided to this scientific output as Hearing experts: Klaus Abraham, Esben Budtz-JĂžrgensen, Tony Fletcher, Philippe Grandjean, Hans Mielke and Hans Rumke and EFSA staff members: Davide Arcella, Marco Binaglia, Petra Gergelova, Elena Rovesti and Marijke Schutte. The Panel wishes to acknowledge all European competent institutions, Member State bodies and other organisations that provided data for this scientific output. The Panel would also like to thank the following authors and co-authors for providing additional information in relation to their respective studies: Berit Granum, Margie M Peden-Adams, Thomas Webster.Peer reviewedPublisher PD